1. Automated deduction--CADE 16
پدیدآورنده: / Harald Ganzinger (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
I57
,
1999
2. Automated deduction--CADE-16 : 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
پدیدآورنده: Harald Ganzinger )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1632
3. ESOP '88
پدیدآورنده: H. Ganzinger, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
4. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
پدیدآورنده: H. Ganzinger, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
300
5. Rewriting techniques and applications :
پدیدآورنده: Harald Ganzinger (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
